Date: Wed, 08 Jan 1997 20:59:49 GMT
Server: NCSA/1.4.2
Content-type: text/html

<html>
<head>
<title> Logic Programming Languages</title>

</head>
<body>
<h1> Logic Programming Languages</h1>


Language metaphors:
<UL>
<LI> Algol family: Von Neumann machine
<LI> functional programming: function definition and application
<LI> object-oriented programming: simulation
<LI> <strong>logic programming</strong>: theorem proving
</UL>

<P>
<HR>
<P>

<UL>
<li><a href=prolog.html>Prolog</a>
<li><a href=clp.html>Constraint Logic Programming</a>
</UL>






</body>
</html>


